Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
701	Multi-Stage Programming: Its Theory and Applications Walid Taha B.S. Computer Science and Engineering, 1993, Kuwait University. Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2004-09-07 10:26:57 Computer science Models of computation Theoretical computer science Formal methods Computability theory Lambda calculus Actor model Type safety Programming language Software engineering Computing Programming paradigms
702	Software Engineering Reference Framework Michel Chaudron, Jan Friso Groote, Kees van Hee, Kees Hemerik, Lou Somers, Tom Verhoeff. Department of Mathematics and Computer Science Eindhoven University of Technology P.O. Box Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2004-12-23 10:58:20 Formal methods Software development process Software engineering Software quality IBM Rational Unified Process Reliability engineering Requirement Systems engineering process Project management Software development Software Systems engineering
703	The Use of Rippling to Automate EventB Invariant Preservation Proofs Yuhui Lin, Alan Bundy& Gudmund Grov School of Informatics University of Edinburgh ATX 2012 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:44 Mathematics Knowledge Mathematical proof Formal methods Science Automated theorem proving Heuristics Rippling
704	NATSPEC Paper April 2015 Specification Writing Selecting and specifying the most appropriate materials and systems for a project to meet Add to Reading List Source URL: natspec.com.au Language: English - Date: 2015-04-21 02:45:12 Software engineering Product development Quality Specification Technology Evaluation Software development process Formal specification Software Requirements Specification Formal methods Standards Science
705	Integrating Formal Program Verification with Testing Cyrille Comar, Johannes Kanig and Yannick Moy AdaCore, 46 rue d’Amsterdam, FParis (France) {comar,kanig,moy}@adacore.com Abstract Verification activities mand Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-03-18 14:32:40 Logic in computer science SPARK Subroutine Postcondition Formal methods Formal verification KeY Precondition Global variable Software engineering Computer programming Computing
706	Verifying Z Specifications with Z/Eves AI4FM kick-off meeting talk Andrius Velykis PhD student at Newcastle University, AI4FM project Supervised by Prof Cliff Jones Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:29 Oxford University Computing Laboratory Z notation Eves First-order logic Zermelo–Fraenkel set theory Formal specification Metalogic Theorem prover Mathematical logic Formal methods Logic
707	AI4FM AI4FM: Another way to use AI ideas to support formal methods Cliff Jones Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:29 Formal languages Formal systems Logical truth Theoretical computer science Automated theorem proving Mathematical proof Formal proof Logic Theorist Formal methods Logic Mathematics Proof theory
708	Agile Projects Success with a Vision for the Future: Agility in Project Management and Software Development Our services Highly motivated Add to Reading List Source URL: www.consol.pl Language: English - Date: 2014-04-04 05:08:11 Technology Software project management Project management Formal methods Software engineering Kanban Scrum Agile management Software development process Software development Business Agile software development
709	Compilation of Planning to SAT Yiqiao Wang 1 Motivation Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-03-10 10:57:49 Logic in computer science Boolean algebra Constraint programming Electronic design automation Formal methods Boolean satisfiability problem Solver Satisfiability Davis–Putnam algorithm Theoretical computer science Mathematics Applied mathematics
710	What Planning Can Do for Formal Methods Andrew Ireland Maria Teresa Llano School of Mathematical & Computer Sciences Heriot-Watt University Gudmund Grov School of Informatics Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:15 Knowledge Formal methods Management Problem solving Project management Unidad de Operaciones Especiales Scientific modelling Planning Mathematical proof Science Thought Mind

UPDATE